TAGs: inequality x+6-12